Separation and weak separation on Riemann surfaces
نویسندگان
چکیده
منابع مشابه
Separation and Weak König's Lemma
We continue the work of [14, 3, 1, 19, 16, 4, 12, 11, 20] investigating the strength of set existence axioms needed for separable Banach space theory. We show that the separation theorem for open convex sets is equivalent to WKL0 over RCA0. We show that the separation theorem for separably closed convex sets is equivalent to ACA0 over RCA0. Our strategy for proving these geometrical Hahn–Banach...
متن کاملOn cell separation with topographically engineered surfaces.
BACKGROUND Topographical modifications of the surface influence several cell functions and can be exploited to modulate cellular activities such as adhesion, migration and proliferation. These complex interactions are cell-type specific, therefore engineered substrates featuring patterns of two or more different topographies may be used to obtain the selective separation of different cell linea...
متن کاملWeak updates and separation logic (Technical Report)
Separation Logic (SL) provides a simple but powerful technique for reasoning about imperative programs that use shared data structures. Unfortunately, SL supports only “strong updates”, in which mutation to a heap location is safe only if a unique reference is owned. This limits the applicability of SL when reasoning about the interaction between many high-level languages (e.g., ML, Java, C#) a...
متن کاملMultifractal Measures and a Weak Separation Condition
We define a new separation property on the family of contractive similitudes that allows certain overlappings. This property is weaker than the open set condition of Hutchinson. It includes the well-known class of infinite Bernoulli convolutions associated with the P.V. numbers and the solutions of the two-scale dilation equations. Our main purpose in this paper is to prove the multifractal for...
متن کاملSeparation Surfaces through Genetic Programming
The aim of this paper is to describe a study for the obtaining, symbolically, of the separation surfaces between clusters of a labelled database. A separation surface is an equation with the form φ (x)=0, where φ is a function of R→ R. The calculation of function φ is begun by the development of the parametric regression by means of the use of the Genetic Programming. The symbolic regression co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Hokkaido Mathematical Journal
سال: 1998
ISSN: 0385-4035
DOI: 10.14492/hokmj/1351001465